home *** CD-ROM | disk | FTP | other *** search
- package com.sun.java.swing.plaf.basic;
-
- import com.sun.java.swing.JMenu;
- import com.sun.java.swing.JMenuBar;
- import com.sun.java.swing.MenuElement;
- import com.sun.java.swing.MenuSelectionManager;
- import java.awt.Container;
- import java.awt.Point;
- import java.awt.event.MouseAdapter;
- import java.awt.event.MouseEvent;
- import java.io.Serializable;
-
- class BasicMenuUI$MouseListener extends MouseAdapter implements Serializable {
- JMenu menu;
-
- public BasicMenuUI$MouseListener(JMenu m) {
- this.menu = m;
- }
-
- public void mousePressed(MouseEvent e) {
- if (this.menu.isTopLevelMenu() && this.menu.isEnabled()) {
- Point p = e.getPoint();
- if (p.x >= 0 && p.x < this.menu.getWidth() && p.y >= 0 && p.y < this.menu.getHeight()) {
- if (this.menu.isSelected()) {
- MenuSelectionManager.defaultManager().clearSelectedPath();
- } else {
- Container cnt = this.menu.getParent();
- if (cnt != null && cnt instanceof JMenuBar) {
- MenuElement[] me = new MenuElement[2];
- me[0] = (MenuElement)cnt;
- me[1] = this.menu;
- MenuSelectionManager.defaultManager().setSelectedPath(me);
- }
- }
- }
- }
-
- MenuSelectionManager.defaultManager().processMouseEvent(e);
- }
-
- public void mouseReleased(MouseEvent e) {
- MenuSelectionManager.defaultManager().processMouseEvent(e);
- }
-
- public void mouseEntered(MouseEvent e) {
- MenuSelectionManager.defaultManager().processMouseEvent(e);
- }
-
- public void mouseExited(MouseEvent e) {
- MenuSelectionManager.defaultManager().processMouseEvent(e);
- }
- }
-